Search CORE

4 research outputs found

Language-based Security for VHDL

Author: Tolstrup Terkel Kristian
Publication venue
Publication date: 01/04/2007
Field of study

Online Research Database In Technology

Information Flow Analysis for VHDL

Author: Nielson Flemming
Nielson Hanne Riis
Tolstrup Terkel Kristian
Publication venue: 'Springer Fachmedien Wiesbaden GmbH'
Publication date: 01/01/2005
Field of study

Online Research Database In Technology

Analyzing for Absence of Timing Leaks in VHDL

Author: Nielson Flemming
Tolstrup Terkel Kristian
Publication venue
Publication date: 01/01/2006
Field of study

Online Research Database In Technology

Locality-based Security Policies

Author: Hansen Rene Rydhof
Nielson Flemming
Tolstrup Terkel Kristian
Publication venue: 'Springer Fachmedien Wiesbaden GmbH'
Publication date: 01/01/2007
Field of study

Online Research Database In Technology

core

core